منابع مشابه
Specified Intersections
Let M ⊂ [n] := {0, . . . , n} and A be a family of subsets of an n element set such that |A∩B| ∈M for every A,B ∈ A. Suppose that l is the maximum number of consecutive integers contained in M and n is sufficiently large. Then |A| < min{1.62210 , 2 log 2 }. The first bound complements the previous bound of roughly (1.99)n due to Frankl and the second author [9] proved under the assumption that ...
متن کاملSpecified Blocks
This paper argues that specified blocks have every advantage over the combination of assertions, preconditions, postconditions, invariants, and variants, both for verifying programs, and for program development. They are simpler, more general, easier to write, and they make proofs easier.
متن کاملCoisotropic Intersections
In this paper we make the first steps towards developing a theory of intersections of coisotropic submanifolds, similar to that for Lagrangian submanifolds. For coisotropic submanifolds satisfying a certain stability requirement we establish persistence of coisotropic intersections under Hamiltonian diffeomorphisms, akin to the Lagrangian intersection property. To be more specific, we prove tha...
متن کاملBrain Intersections
For centuries, only philosophers debated the relationship between aesthetics and morality. Recently, with advances in neuroscience, the debate has moved to include the brain and an evolved neural underpinning linking aesthetic reactions and moral judgment. Biological survival emphasizes mate selection strategies, and the ritual displays have been linked to human aesthetics in the arts, in faces...
متن کاملInteracting Intersections
Intersecting p-branes can be viewed as higher-dimensional interpretations of multicharge extremal p-branes, where some of the individual p-branes undergo diagonal dimensional oxidation, while the others oxidise vertically. Although the naive vertical oxidation of a single p-brane gives a continuum of p-branes, a more natural description arises if one considers a periodic array of p-branes in th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 2013
ISSN: 0002-9947,1088-6850
DOI: 10.1090/s0002-9947-2013-05877-1